Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision
نویسنده
چکیده
In the companion paper (Towards a “sophisticated” model of belief dynamics. Part I), a general framework for realistic modelling of instantaneous states of belief and of the operations involving them was presented and motivated. In this paper, the framework is applied to the case of belief revision. A model of belief revision shall be obtained which, firstly, recovers the Gärdenfors postulates in a well-specified, natural yet simple class of particular circumstances; secondly, can accommodate iterated revisions, recovering several proposed revision operators for iterated revision as special cases; and finally, offers an analysis of Rott’s recent counterexample to several Gärdenfors postulates [32], elucidating in what sense it fails to be one of the special cases to which these postulates apply.
منابع مشابه
Towards a ‘sophisticated’ model of belief dynamics
It has been often noted that classical models of belief do not accurately represent the limits of human doxastic capacity, at least if belief is understood in a sufficiently internal sense. This is equally true of models of belief revision (Hansson, 2003). Furthermore, Rott (2004) has recently raised doubts about several of the most important of Gärdenfors postulates relating to belief revision...
متن کاملData-oriented Belief Revision: Towards a Unified Theory of Epistemic Processing
Building on a long research tradition (cf. 1), this paper proposes to apply the distinction between data (information stored in the agent’s mind) and beliefs (information accepted as reliable) to belief revision modeling (cf. 2), in order to integrate belief change in the overall epistemic processing of the agent. As a result, a more comprehensive and complex model of epistemic dynamics is form...
متن کاملAction progression and revision in multiagent belief structures
We present a model for progressing and revising doxastic belief states in a multiagent setting. The model is sophisticated enough to deal not only with both ontic and epistemic actions, but also to handle the case where it is not common belief that an action occurred or that an observation has been made. Our model includes a multiagent extension of AGM-style belief revision.
متن کاملChanging Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic
In this paper we propose a temporal extension of Defeasible Logic to model legal modifications, such as abrogation and annulment. Hence, this framework overcomes the difficulty, discussed elsewhere [7], of capturing these modification types using belief and base revision.
متن کاملType-theoretical Dynamics Exploring Belief Revision in a constructive framework
In the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 89 شماره
صفحات -
تاریخ انتشار 2008